Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
111	Entanglement and the fermion sign problem in auxiliary field quantum Monte Carlo simulations Peter Broecker and Simon Trebst arXiv:1511.02878v1 [cond-mat.stat-mech] 9 NovInstitute for Theoretical Physics, Universi Add to Reading List Source URL: www.thp.uni-koeln.de Language: English - Date: 2015-11-11 02:10:34 Physics Condensed matter physics Statistical mechanics Quantum field theory Quantum chemistry Quantum Monte Carlo Topological entropy in physics Topological order Variational Monte Carlo Entropy Auxiliary field Monte Carlo Numerical sign problem
112	An Analysis of Unsolvable Linear Partial Differential Equations of Order One Add to Reading List Source URL: inquiry.uark.edu Language: English - Date: 2012-06-25 17:18:24 Calculus Mathematical analysis Mathematics Differential equations Partial differential equations Differential calculus Equation Ordinary differential equation Linear differential equation Method of characteristics SturmLiouville theory
113	Chain minors are FPT Jaroslaw Blasiok1 and Marcin Kami´ nski2 1 Instytut Informatyki Add to Reading List Source URL: rutcor.rutgers.edu Language: English Computational complexity theory Theory of computation Analysis of algorithms Order theory Parameterized complexity NP Exponential time hypothesis Randomized algorithm Time complexity Partially ordered set Order dimension
114	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
115	New Developments of Organizational Cybernetics after Stafford Beer, 6th Metaphorum Conference Add to Reading List Source URL: www.metaphorum.org Language: English - Date: 2007-03-24 11:40:48 Cybernetics Systems science Cognitive science Viable system model Stafford Beer Syntegrity Second-order cybernetics Systems theory Fredmund Malik Systems thinking Variety Allenna Leonard
116	Algebra 2. Groups of order ≤ 100. Roma, December 7, 2009 In this note we show that the only non-commutative simple group of order ≤ 100 is the alternating group A5 of order 60. Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2009-12-30 15:57:32 Algebra Group theory Abstract algebra Finite groups Sylow theorems Index of a subgroup Simple group Complement Normal p-complement
117	Ingo Scholtes, Nicolas Wider, Antonios Garas: Higher-Order Aggregate Networks in the Analysis of Temporal Networks Higher-Order Aggregate Networks in the Analysis of Temporal Networks: Path structures and centralities Add to Reading List Source URL: www.sg.ethz.ch Language: English - Date: 2015-08-27 04:09:04 Network theory Graph theory Mathematics Physics Centrality Flow network Shortest path problem Climate as complex networks Topology Time-varying network
118	Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ander University of Bonn, Germany (visiting NII Tokyo) February 26th, 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Sorting algorithms Order theory Mathematics Combinatorics Merge sort Quicksort Insertion sort Sorting Merge algorithm Bucket sort
119	The purpose of this note is to further generalize the smoothness framework by Roughgarden [7], in order to provide a unified proof for many existing price-of-anarchy results. 1 Bounds on the Price of Anarchy A strategic Add to Reading List Source URL: florian-schoppmann.net Language: English - Date: 2016-03-04 03:20:15 Game theory Congestion game Mathematics Nash equilibrium Price of anarchy Mathematical analysis